🔬 Static Analysis - hello · Scour

Shipping specialization: a story of soundness

aturon.github.io·12h

🦀Rust Macros

What every computer science major should know

matt.might.net·1h·

Discuss: Hacker News

⚙️Systems Programming

Translating C To Rust: Lessons from a User Study

papers.cool·21h

🐧Rust for Linux

Invariant-Driven Automated Testing

arxiv.org·20h

🧬Mutation Testing

Weeks 6-8: Advanced Arrays, Problem-Solving Patterns, and Building a Data CLI

dev.to·9h·

Discuss: DEV

🔨Compiler Design

Lean and AI caught a bug in my 2-year-old TLA+ spec

medium.com·16h·

Discuss: Hacker News

extended C*-algebra in nLab

ncatlab.org·5h

∘Category Theory

freest-lang/freest: A programming language for safe concurrency powered by context-free session types.

github.com·1d

State of Haskell 2025 results

discourse.haskell.org·5h·

Discuss: Lobsters, r/programming

📐Type Theory

A Review of Uncle Bob's Functional Design: Principles, Patterns, and Practices

coding-mischief.com·3h·

Discuss: Hacker News

λFunctional Programming

State of Knuckledragger III: Kernel Changes, Symbolic Union, AI, and more

philipzucker.com·1d

From Vibe Coding to Spec-Driven Development (Building a Car Classifieds App)

youtube.com·4h·

Discuss: DEV

🎭Program Synthesis

Power of C++26 Reflection: Strong (opaque) type definitions

godbolt.org·3d·

Discuss: r/cpp

👻Phantom Types

[Embedded Artistry] What I've Been Up to

kill-the-newsletter.com·2h

📚Technical Writing

Quieno/izalloc: Drop-in, dependency-free, minimal memory allocator in C that passes 42 Shool's norm.

github.com·1d·

Discuss: r/C_Programming

🧩Mimalloc Internals

Async Programming Is Just @Inject Time

willhbr.net·14h

📚Stack Unwinding

Understanding the Go Compiler

internals-for-interns.com·16h

🎯Escape Analysis

Programming Advice (experienced programmers only)

forums.anandtech.com·1d

A Number with a Shadow

campedersen.com·20h

CIll: CTI-Guided Invariant Generation via LLMs for Model Checking

arxiv.org·20h

👻Phantom Types

Loading more...